Logic optimization - PDFSEARCH.IO - Document Search Engine

Logic optimization
Results: 335

#	Item
151	AGH University of Science and Technology in Krakow M.Sc. Thesis Constraint Programming for Stochastic Problems Add to Reading List Source URL: tidel.mie.utoronto.ca Language: English - Date: 2009-12-10 18:18:51 Computing Constraint satisfaction Constraint optimization Local consistency Mathematical optimization Linear programming Logic programming Backtracking Constraint logic programming Constraint programming Software engineering Computer programming
152	egu_logo_without_circle_grey Add to Reading List Source URL: www.nat-hazards-earth-syst-sci-discuss.net Language: English - Date: 2014-12-04 12:26:03 Meteorology Algorithm Mathematics Science Artificial intelligence Knowledge Mathematical logic Mathematical optimization Operations research
153	Branch and Bound in a Data Parallel Setting Extended Abstract Sven-Bodo Scholz Heriot-Watt University [removed] Add to Reading List Source URL: ifl2014.github.io Language: English - Date: 2015-03-04 15:20:42 Mathematical optimization Algorithm Mathematical logic Branch and bound NP-complete Applied mathematics Theoretical computer science Mathematics
154	Cryptology ePrint Archive: Report[removed]This is the full version of the article presented at ACISP 2013 under the same title. LNCS 7959, pp.347–362. DOI: [removed][removed]3_24 Analysis of the Non-Perfect Tab Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2013-10-15 01:44:22 Precomputation Trade-off Mathematics Computing Logic Software optimization Rainbow table Algorithm
155	From Lexical Entailment to Recognizing Textual Entailment Using Linguistic Resources Bahadorreza Ofoghi Centre for Informatics & Applied Optimization, University of Ballarat Victoria 3350, Australia Add to Reading List Source URL: www.alta.asn.au Language: English - Date: 2009-11-23 02:07:46 Computational linguistics Logical consequence Knowledge representation Online dictionaries Philosophical logic Textual entailment WordNet Entailment FrameNet Logic Linguistics Science
156	sapient_mortgagebanking.ai Add to Reading List Source URL: www.sapiens.com Language: English - Date: 2014-12-31 01:31:53 Network performance Business logic Management Business Software engineering Business rule management system Decision theory Information technology management Infrastructure optimization
157	Novel Approaches to Numerical Software with Result Verification Laurent Granvilliers , Vladik Kreinovich , and Norbert Müller Add to Reading List Source URL: www.cs.utep.edu Language: English - Date: 2003-10-13 19:19:43 Interval arithmetic Constraint satisfaction Constraint logic programming Local consistency Interval Integral Numerical analysis Mathematical optimization Probability box Constraint programming Mathematics Applied mathematics
158	Specialization Tools and Techniques for Systematic Optimization of System Software DYLAN MCNAMEE, JONATHAN WALPOLE, CALTON PU, CRISPIN COWAN, CHARLES KRASIC, ASHVIN GOEL, and PERRY WAGLE Oregon Graduate Institute of Scie Add to Reading List Source URL: web.cecs.pdx.edu Language: English - Date: 2004-09-04 03:34:36 Generic programming C++ Predicate logic Predicate Semantics Template Partial evaluation Specialization Software engineering Logic Computing
159	Journal of Instruction-Level Parallelism Vol. 3 Submitted[removed]; Published 2002 The Design of DEETM: a Framework for Dynamic Energy Efficiency and Temperature Management Add to Reading List Source URL: iacoma.cs.uiuc.edu Language: English - Date: 2002-04-12 01:25:15 Theoretical computer science Computing Parallel computing Heat transfer Mathematical optimization Multi-core processor Mathematics Applied mathematics Operations research Algorithm Mathematical logic
160	Sapiens DECISION An enterprise-scale solution to help businesses improve visibility and control Sapiens DECISION simplifies the planning, implementing and optimizing of business policy changes Add to Reading List Source URL: www.sapiens.com Language: English - Date: 2015-01-21 14:54:32 Infrastructure optimization Network performance Marketing Decision theory Business logic Business model Business rule management system Information technology management Management Business

UPDATE